Теория Автоматов И Формальных Языков.